the rcv(wanted message from $e_{1}$ to $j$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$es{-}first{-}from(${\it es}$;$e_{1}$;$<$loc($e_{1}$), $j$, "\$z"$>$;"\$wanted")